perm filename ABG2[1,JRA] blob sn#005899 filedate 1972-09-12 generic text, type T, neo UTF8
00050	∀ (X1 X2) E(F(X1 X1), F(X2 X2));
00075	∀(X1 X2) E(F(X1 F(X2 X2)) X1);
00087	E(X1 X1);
00100	∀(X1 X2 X3) E(F(X1 F(X2 X3)), F(X3 F(X2 X1)));
00200	∀(X1 X2) E(F(X1 F(X1 X2)), X2);;
00300	;
00325	 E(F(F(X1 X3) F(X2 X3)), F(X1 X2));;